161. Programmign language syntax and semantics
پدیدآورنده: / David A. Watt ,Watt
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Programming languages ( Electronic computers) --Semantics,Programming language (Electronic Computers)--Syntax
رده :
QA
76
.
7
.
W3
1991
162. Programming language semantics: imperative and object-oriented languages
پدیدآورنده: Kirkerud, Bjorn
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Object-oriented programming
رده :
QA
76
.
7
.
K57
163. Programming language semantics: imperative and object-oriented Languages
پدیدآورنده: Kirkerud, Bjorn
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Programming Languages )Electronic Computers( - Semantics , Object-oriented programming )Computer science(
رده :
QA
76
.
7
.
K57
1997
164. Programming language semantics: imperative and object-oriented languages
پدیدآورنده: Kirkerud, Bjorn.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Semantics ، Programming languages )Electronic computers(,، Object-oriented programming )Computer science(
رده :
QA
76
.
7
.
K57
1997
165. Programming language structures
پدیدآورنده: / Elliott I. Organick, Alexandra I. Forsythe, Robert P. Plummer
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers) -- Semantics,Programming languages (Electronic computers) -- Syntax,Data structures (Computer science)
رده :
QA
76
.
7
.
O73
166. Programming language structures
پدیدآورنده: Organick, Elliott Irving
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Programming languages )Electronic computers( -- Syntax,، Data structures )Computer science(
رده :
QA
76
.
7
.
O73
167. Programming languages :
پدیدآورنده: André Rauber Du Bois, Phil Trinder (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Programming languages (Electronic computers), Congresses
رده :
QA76
.
7
.
B73
2013
168. Programming languages and operational semantics :
پدیدآورنده: by Maribel Fernández
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Programming languages (Electronic computers)-- Semantics
رده :
QA76
.
7
.
F47
2014
169. Programming languages and systems :
پدیدآورنده: Hongseok Yang (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Programming languages (Electronic computers), Congresses,Software engineering, Congresses
رده :
QA76
.
7
.
A65
2011
170. Programming languages and systems :
پدیدآورنده: Amal Ahmed (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
171. Programming languages and systems :
پدیدآورنده: Sukyoung Ryu (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software Engineering.,Systems analysis & design.
رده :
QA76
.
7
172. Query optimization by semantic veasoning
پدیدآورنده: / by Jonathan J. King
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Data base management,Information storage and retreval systems,Programming languages (Electronic computers) semantics
رده :
QA76
.
9
.
D3K55
1984
173. Realistic compiler generation
پدیدآورنده: Lee, Peter
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Compilers )Computer programs(,، Programming languages )Electronic computers(--Semantics
رده :
QA
76
.
76
.
C65
.
L44
1989
174. Scenarios
پدیدآورنده: / Stefan Leue, Tarja Johanna Systa (eds.).
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Software engineering--Graphic methods--Congresses.,Computer network protocols--Congresses.,Programming languages (Electronic computers)--Semantics--Congresses.
رده :
QA76
.
758
.
S28
2003
175. Scenarios : models, transformations and tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers
پدیدآورنده: Stefan Leue, Tarja Johanna Systa )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Graphic methods -- Congresses ، Software engineering,Congresses ، Computer network protocols,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3466
176. Semantic techniques in quantum computation /
پدیدآورنده: edited by Simon Gay, Ian Mackie.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Programming languages (Electronic computers)-- Semantics.,Quantum computers.,Quantum theory.,COMPUTERS-- Hardware-- Mainframes & Minicomputers.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Quantencomputer,Quantum computers.,Quantum theory.,Semantik
رده :
QA76
.
889
.
S36
2010
177. Semantics With Applications : A Formal Introduction
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Programming languages (Electronic computers) - Semantics,زبان های برنامه نویسی کامپیوتر - معنی شناسی,Nielson, Hanne Riis, 1954-,Nielson, Flemming, 1955-
رده :
CD-B
,
QA
,
76
,.
7
,.
N54
,
1992
178. Semantics and algebraic specificatio
پدیدآورنده: / Jens Palsberg (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
7
,.
S435
,
2009
179. Semantics and algebraic specification
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
180. Semantics-directed compiler generation : proceedings of a Workshop, Aarhus, Denmark, January 1980
پدیدآورنده: edited by Neil D. Jones
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Compilers )Computer programs(,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
94
